1. الکبری فی المنطق۴۰ "پ -۵۶ پ"
پدیدآورنده: / میرسیدشریف علی بن محمد گرگانی
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: منطق

2. الکبری فی المنطق۱ "ر -۱۵ پ"
پدیدآورنده: / میرسیدشریف علی بن محمد گرگانی
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: نحو

3. حاشیه تحریر القواعد المنطقیه
پدیدآورنده: / میرسیدشریف علی بن محمد گرگانی
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: منطق

4. حاشیه تحریر القواعد المنطقیه۴۵ "پ -۱۵۸ ر"
پدیدآورنده: / میرسیدشریف علی بن محمد گرگانی
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: منطق

5. حاشیه لوامع الاسرار فی شرح مطالع الانوار
پدیدآورنده: میرسیدشریف علی بن محمد گرگانی (۸۱۶).
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع:

6. حاشیه لوامع الاسرار فی شرح مطالع الانوار
پدیدآورنده: / میرسیدشریف علی بن محمد گرگانی
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: منطق

7. صغری
پدیدآورنده: میرسیدشریف علی بن محمد گرگانی (۸۲۵).
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: منطق
